home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Tech Arsenal 1
/
Tech Arsenal (Arsenal Computer).ISO
/
tek-04
/
prolog_2.zip
/
PUZZLES.ZIP
/
ARROW.PRO
< prev
next >
Wrap
Text File
|
1987-04-05
|
256b
|
9 lines
/* This shows how to define the "->" operator, which is
introduced in the Clocksin and Mellish second edition. */
?-op( 254, xfy, '->' ).
(X -> Y; Z) :- X, !, Y.
(X -> Y; Z) :- Z.